package ast;

public class Go extends Process {
	
	private Term t;
	private Process process;
	
	public Go(Term trm, Process proc)
	{
		t = trm;
		process = proc;
	}
	
	public Process getProcess()
	{
		return process;
	}
	
	public void setProcess(Process p)
	{
		process = p;
	}
	
	public Term getTerm()
	{
		return t;
	}
	
	public String toString(int indent)
	{
		String res = "go(" + t + ")." + process.toString(0); 
		return res;
	}

}
